<short summary of the patch>
authorCamm Maguire <camm@debian.org>
Fri, 1 May 2020 12:55:02 +0000 (13:55 +0100)
committerCamm Maguire <camm@debian.org>
Fri, 1 May 2020 12:55:02 +0000 (13:55 +0100)
commitdee42878f997e12bdf5e4bddcef56d0ffecccb32
treeaffc3cfe1829d828142ddb6531ac53cf1cad96ac
parent71a12634d7d8f677ab4cb7fad5007b70b0cd6665
<short summary of the patch>

TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.

gcl (2.6.12-81) unstable; urgency=high

  * Version_2_6_13pre72
  * Fix to ppc64el for acl2 FTBFS bug

Gbp-Pq: Name Version_2_6_13pre72
h/elf64_ppcle_reloc_special.h